Language software - PDFSEARCH.IO - Document Search Engine

Language software
Results: 21611

#	Item
221	F# is a Multiparadigm Programming Language Imperative programming in F# So far we have used F# mainly as a functional language Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-05-05 10:51:38 Software engineering Computer programming Computing Subroutines Functional languages Data types Recursion Functional programming Immutable object F Sharp Closure Assignment
222	Different Models for Model Matching: An analysis of approaches to support model differencing Dimitrios S. Kolovos Department of Computer Science The University of York Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software Computing Knowledge representation Object Process Methodology Process management Project management Matching Unified Modeling Language Algorithm Eclipse Modeling Framework Eclipse Template matching
223	C URRICULUM V ITAE C HRISTOPH M. K IRSCH C ONTACT Address Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Computing Programming language theory Actor model Concurrent computing Search engine indexing Click Computer Point and click ALGOL 68 Kernel
224	Instructions for Using the Microsoft Word Version of the Maryland Inventory of Historic Properties Form Maryland Historical Trust The survey_forms_MIHP.DOC and survey_forms_MIHPAddendum.DOC files are compatible with all Add to Reading List Source URL: mht.maryland.gov Language: English - Date: 2016-03-31 11:44:25 Software Computing Language Microsoft Word Double-click Tab key Email Insert key
225	Developing an ATC Grammar using the Review of the Cushing Grammar in the pro ject seminar Computational Natural Language Systems RVS, Faculty of Technology, University of Bielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2001-06-26 08:55:20 Formal languages Compiler construction Software engineering Language Software Extended BackusNaur form Parsing Syntax Context-free grammar Formal grammar Terminal and nonterminal symbols Grammar
226	Project No : FP7Project Acronym: Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2015-10-21 02:36:18 Project management Information technology management Technology Computing Collaboration Collaboratory Laboratories Modeling language Deliverable Business Information Services Procurement Library Software development
227	Microsoft Word - TR-002 SCOPE.doc Add to Reading List Source URL: www.ecma-international.org Language: English - Date: 2014-10-28 04:18:52 Software engineering Computer programming Computing Procedural programming languages Metalanguages Source code COBOL Cross-platform software BackusNaur form CODASYL Programming language ALGOL
228	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
229	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
230	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68

UPDATE